Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ... 3670 (Lecture Notes in Computer Science)
by Leila Kloul,Mario Bravetti,Gianluigi Zavattaro
ISBN 13: 9783540287018
Format: Paperback (368 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings: 8137 (Lecture Notes in Computer Science)
by Robert M. Hierons,Mercedes G. Merayo,Mario Bravetti
ISBN 13: 9783642405600
Format: Paperback (340 pages) Publisher: Springer Published: 12 Sep 2013
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings: 4184 (Lecture Notes in Computer Science)
by Mario Bravetti, Manuel Núñz, Gianluigi Zavattaro
ISBN 13: 9783540388623
Format: Paperback (304 pages) Publisher: Springer Published: 22 Feb 2009
Behavioral Types in Programming Languages (Foundations and Trends (R) in Programming Languages): 8 (Foundations and Trends® in Programming Languages)
by Davide Ancona, Viviana Bono, Mario Bravetti
ISBN 13: 9781680831344
Format: Paperback (156 pages) Publisher: Now Publishers Inc Published: 03 May 2016